home *** CD-ROM | disk | FTP | other *** search
- Subject: Home Baked
- Date: Mon, 4 Jul 1994 11:45:53 +0200 (MDT)
- From: Annius.Groenink@cwi.nl (Annius Groenink)
- X-Face: "E3Hm]k]&:,OEP<{D2ixJf>-9[qOGLebNa0&cQyFL-a~)kTM3&&I"gFw=fJ]K%1IduGjOE`
- ZGu]&~G]QNGa7i/L!+#Xng<|+}HKYHj~5?fTInUEUh0$I1gBI7jrA!&_|e/pR1[cX:^xgJTPsrjA_9
- m8Zli[|.-u{]+c1(6C7mL*m`/_J\>.{4!:g
- Mime-Version: 1.0
- Precedence: bulk
-
-
-
- Someone says:
-
- > Deselect sounds better to me. With 'hide' I think of something like
- > hiding behind a tree. (I hope you understand what I'm trying to say)
-
- I think this is because some applications (GFA if I remember right) have
- a system where you can hide a block, and then un-hide it again. HIDE
- suggests that something is hidden, but kept in storage. Deselect
- usually means 'discard the markings altogether'.
-
- -----
-
- I agree with Rick Flashman that the right approach to mouse clicks in
- background windows when MTOS or WINX are NOT installed is to require the
- user to hold the right mouse button and use left clicks.
-
- Warwick's WM_TOPPED approach is witty but not perfect---the click only
- gets sent to the app when the mouse button is released. And I am sure
- there IS an Atari document which says: TOP your window when a WM_TOPPED
- message is received! Users expect the action of left-clicking to top a
- window---otherwise they'd be using WINX anyway.
-
- (Although I haven't adopted that approach in Edith... I am a WINX user
- myself, so I just set WF_BEVENT to 1 and trouble gone)
-
- -----
-
- CONJECTURE. The only Control + ASCII key combinations and Control +
- shift + ASCII key combinations which are the same on all international
- keyboards are letters.
-
- (I think taking German, UK and French key tables would already prove my
- point)
-
-
- -----
-
- have a nice meal (with pieces of Bacon or sth)
-
- --
- Annius V. Groenink | avg@cwi.nl | Private/Edith/ZFC:
- CWI, Kruislaan 413 | A.V.Groenink@zfc.nl | P.O. Box 12079
- 1098 SJ Amsterdam | Room M233 ext. 4077 | NL 1100 AB Amsterdam
- The Netherlands | Phone: +31 20 592 4077 | Phone: +31 20 695 9901
-